#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>
#include <string.h>
//打印菱形
//main()
//{
//	int a;
//	char c = getchar();
//	scanf("%d", &a);
//	for (int i = 0; i <= a / 2; i++)		  //打印上半部分
//	{
//		for (int j = 0; j < a / 2 - i; j++)			//打印上半部分的左边空格
//		{
//			printf(" ");
//		}
//		for (int x = 0; x <= i ; x++)			 //打印上半部分的左边字符
//		{
//			printf("%c", c);
//		}
//		for (int y = 1; y <= i; y++)		  //打印上半部分的右边字符
//		{
//			printf("%c", c);
//		}
//		printf("\n");
//	}
//	for (int i = 0; i < a / 2; i++)				  //打印下半部分
//	{
//		for (int j = 0; j <= i; j++)			  //打印下半部分的左边空格
//		{
//			printf(" ");
//		}
//		for (int x = i; x < a / 2 ; x++)			 //打印下半部分的左边字符
//		{
//			printf("%c", c);
//		}
//		for (int y = a / 2 - 1; y > i; y--)			 //打印下半部分的右边字符
//		{
//			printf("%c", c);
//		}
//		printf("\n");
//	}
//}


/*描述
判断一个整数n是否是闰年


输入描述：
输入一个整数n。

输出描述：

是闰年输出"yes" 否则输出"no"*/
int run(int a)
{
	if ((a % 4 == 0 && a % 100 != 0) || a % 400 == 0)
		return 1;
	else
		return 0;
}

int main()
{
	int a;
	scanf("%d", &a);

	int r = run(a);
	if (r == 1)
		printf("yes");
	else
		printf("no");
	return 0;
}


//从大到小输出
void swap(int* x, int* y)
{
	int tmp = *x;
	*x = *y;
	*y = tmp;
}
main()
{
	int a, b, c;
	scanf("%d%d%d", &a, &b, &c);
	if (a < b)
	{
		swap(&a, &b);
	}
	if (a < c)
	{
		swap(&a, &c);
	}
	if (b < c)
	{
		swap(&b, &c);
	}
	printf("%d %d %d", a, b, c);
}